Merge pull request #3 from dedeckeh/master
authorsbyx <[email protected]>
Thu, 5 Dec 2013 15:25:04 +0000 (07:25 -0800)
committersbyx <[email protected]>
Thu, 5 Dec 2013 15:25:04 +0000 (07:25 -0800)
Fixes for UCI loading and possible segfault


Trivial merge